miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk

Source URL: webyrd.net

• Lambda calculus
• Control flow
• Eval
• Scheme
• Env
• Constraint logic programming
• Combinatory logic
• LG enV
• Quasigroup
• Computing
• Mathematics
• Theoretical computer science

Constraint Modules: An Introduction Piotr Mitros MIT Dept. of Electrical Engineering and Computer Science Cambridge, MA[removed]Email: [removed]

Source URL: mitros.org

• Electronic circuits
• Control theory
• Nonlinear control
• Passivity
• Operational amplifier
• Electrical network
• Linearization
• Feedback
• Linear programming
• Electronics
• Electromagnetism
• Electronic engineering

Inferring Constraints from Multiple Snapshots David Kurlander Steven Feiner Department of Computer Science 450 Computer Science Building

Source URL: kurlander.net

Principles of Artificial Intelligence Fall 2005 Handout #4 Constraint Satisfaction Vasant Honavar Artificial Intelligence Research Laboratory

Source URL: www.cs.iastate.edu

• Applied mathematics
• Constraint satisfaction
• Search algorithm
• Simulated annealing
• Graph
• Hill climbing
• Local search
• Decomposition method
• Constraint programming
• Mathematics
• Theoretical computer science

Microsoft PowerPoint - hillclimb02

Source URL: www.autonlab.org

• Operations research
• Mathematical optimization
• Computing
• Constraint programming
• Hill climbing
• Simulated annealing
• Local search
• Eval
• Genetic algorithm
• Applied mathematics
• Mathematics
• Search algorithms

The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington

Source URL: constraints.cs.washington.edu

• Software engineering
• Computer programming
• Computing
• Constraint satisfaction
• Constraint logic programming
• Simplex algorithm
• Slack variable
• Linear programming
• Cassowary
• Constraint programming
• Mathematical optimization
• Operations research

Eighth International Conference on Principles and Practice of Constraint Programming - CP 2002 September 8-13, 2002, Cornell University, Ithaca, NY Please print and complete this form and mail with payment to: CP 2002 Co

Source URL: www.cs.cornell.edu

• Business
• Discover Card
• Electronic commerce
• Financial economics
• Payment systems
• Credit cards
• Fee

Graphical Editing by Example David Joshua Kurlander Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy

Source URL: kurlander.net

• Macro
• Source code
• Prolog
• Constraint programming
• Computer programming
• Software engineering
• Computing

An Integrated Modelling, Debugging, and Visualisation Environment for G12 Andreas Bauer1,2 , Viorica Botea1 , Mark Brown1 , Matt Gray1,2 , Daniel Harabor1,2 , and John Slaney1,2 1 2

Source URL: www.immerundewig.at

• Computer programming
• ECLiPSe
• Constraint graph
• Local consistency
• Solver
• Search algorithm
• Constraint satisfaction
• Constraint programming
• Declarative programming
• Software engineering

Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A

Source URL: www.cse.unsw.edu.au

• Mathematical logic
• Constraint programming
• Boolean algebra
• Resolution
• Conjunctive normal form
• Unit propagation
• Davis–Putnam algorithm
• Ansgar
• Boolean satisfiability problem
• Automated theorem proving
• Theoretical computer science
• Mathematics